A quantitative verification framework of SysML activity diagrams under time constraints
نویسندگان
چکیده
منابع مشابه
A Security Verification Framework for SysML Activity Diagrams
A Security Verification Framework for SysML Activity Diagrams Samir Ouchani Concordia University, 2013 UML and SysML play a central role in modern software and systems engineering. They are considered as the de facto standard for modeling software and systems. Today’s systems are created from a myriad of interacting parts that are combined to produce visible behavior. The main difficulty arises...
متن کاملModular and Distributed Verification of SysML Activity Diagrams
Model-based development for complex system design has been used to support the increase of systems complexity. SysML is a modeling language that allows a system description with various integrated diagrams, but SysML lacks formality for the requirement verification. Translating SysML-based specification into Petri nets allows to enable rigorous system analysis. However, for complex systems, we ...
متن کاملPetri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams
The validation of SysML specifications needs a complete process for extracting, formalizing and verifying SysML requirements. Within an overall approach which considers an automatic verification of SysML designs by translating both requirement and behavioral diagrams, this paper proposes a modular verification of SysML functional requirements on activity diagrams. The contribution of this paper...
متن کاملSimulation Trace Verification for Quantitative Constraints
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulation will remain an important tool for making sure that implementations perform as they should. In this paper we present algorithms to automatically generate C++ checkers from any formula written in the formal quantitati...
متن کاملSysML Parametric Diagrams in Business Applications
The Unified Modeling Language (UML) has been extensively used in the systems engineering domain. It has become a commonly accepted standard. However, not all expectations of system engineers have been met by UML. Therefore, a new language, based on UML but strongly supplemented by notions specific for the systems engineering field, has been proposed by the International Council on System Engine...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expert Systems with Applications
سال: 2015
ISSN: 0957-4174
DOI: 10.1016/j.eswa.2015.05.049